An actor rewriting theory
نویسنده
چکیده
We present a semantic framework for actor systems based on rewriting logic. This framework accounts for fairness and provides a variety of semantics for actor system components that have good composability properties.
منابع مشابه
A Practical Dramaturgy for Actors through Theatrical Production Procedures
Dramaturgy, as a creative and critical act dependent on the theoretical and practical knowledge of theater, consists of two parts with Greek roots: Drama (action) and Ourgia (work and operation). Ourgia literally means to practice, act, and in other words process a raw material. Eugenio Barba divides Dramaturgy in to three parts: Actor Dramaturgy, Director Dramaturgy and Audience Dramaturgy. Th...
متن کاملConcurrent Re Blockinective Computations in Rewriting Logic
Rewriting logic can represent dynamic behaviors of concurrent and/or reactive systems declaratively. Declarative descriptions in rewriting logic are expected to be amenable to analysis of interesting properties. The group-wide architecture based on the actor model is a speci c concurrent re ective computation model based on \group-wide re ection". It has a potential of modeling cooperative beha...
متن کاملAn Example for Concurrent Re ective Computations in Rewriting Logic
Rewriting logic can represent dynamic behaviors of concurrent and/or reactive systems declaratively. Declarative descriptions in rewriting logic are expected to be amenable to analysis of interesting properties. The group-wide architecture based on the actor model is a speci c concurrent re ective computation model based on "group-wide re ection". It has a potential of modeling cooperative beha...
متن کاملThe IOP Model of Interoperation as a Basis for Developing Interactive Maude Applications
In this paper we describe the IOP model of interoperation and its use in developing interactive applications. Using this as a basis we have developed the IMaude library of modules for defining interactive applications based on the Rewriting Logic language Maude. This is an important step towards making Maude specifications more accessible to non-experts, and thus advancing the possibility for f...
متن کاملThe Symbiosis of Human and Semantic Technology Through the Lens of Actor-Network Theory
Background: Semantic technologies (STs) have made machine reasoning possible by providing intelligent data management methods. This capability has created new forms of interaction between humans and STs, which is called "semantic interaction." The increasing spread of this form of interaction in daily life reveals the need to identify the factors affecting it and introduce the requirements of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 4 شماره
صفحات -
تاریخ انتشار 1996